Infimum of a bounded below set